The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give super-exponential lower bounds for fixed-parameter tractable model-checking problems for first-order and monadic second-order logic. We show that unless PTIME=NP, the model-checking problem for monadic second-order logic on finite words is not solvable in time f·p, for any elementary function f and any polynomial p. Here k denotes the size of the (...) input sentence and n the size of the input word. We establish a number of similar lower bounds for the model-checking problem for first-order logic, for example, on the class of all trees. (shrink)

Prescriptive rules guide human behavior across various domains of community life, including law, morality, and etiquette. What, specifically, are rules in the eyes of their subjects, i.e., those who are expected to abide by them? Over the last sixty years, theorists in the philosophy of law have offered a useful framework with which to consider this question. Some, following H. L. A. Hart, argue that a rule’s text at least sometimes suffices to determine whether the rule itself covers a case. (...) Others, in the spirit of Lon Fuller, believe that there is no way to understand a rule without invoking its purpose — the benevolent ends which it is meant to advance. In this paper we ask whether people associate rules with their textual formulation or their underlying purpose. We find that both text and purpose guide people’s reasoning about the scope of a rule. Overall, a rule’s text more strongly contributed to rule infraction decisions than did its purpose. The balance of these considerations, however, varied across experimental conditions: In conditions favoring a spontaneous judgment, rule interpretation was affected by moral purposes, whereas analytic conditions resulted in a greater adherence to textual interpretations. In sum, our findings suggest that the philosophical debate between textualism and purposivism partly reflects two broader approaches to normative reasoning that vary within and across individuals. Keywords: , the concept of law, rules, legal psychology, Hart, Fuller. (shrink)

Binge-purge eating disorders (BP-ED), such as bulimia nervosa and binge eating disorder, may share some neurobiological features. Electroencephalography (EEG) is a non-invasive measurement modality that may aid in research and diagnosis of BP-ED. We conducted a systematic review of the literature on EEG findings in BP-ED, seeking to summarize and analyze the current evidence, as well as identify shortcomings and gaps to inform new perspectives for future studies. Following PRISMA Statement recommendations, the PubMed, Embase, and Web of Science databases were (...) searched using terms related to “electroencephalography” and “binge-purge” eating disorders. Of 555 articles retrieved, 15 met predefined inclusion criteria and were included for full-text analysis. Eleven studies investigated EEG by means of event-related potentials (ERP) in BP-ED individuals: 7 using eating disorder-related stimuli (i.e., food, body image) and 4 using non-eating disorder-related stimuli (i.e., facial expressions or auditory clicks). These studies found significant differences in the N200, P200, P300, and LPP components in BP-ED participants compared to controls, indicating that this population exhibits impairments in selective attention, attentional allocation/processing, and allocation of motivational or emotion-based attention. Five studies investigated EEG using frequency analysis; reporting significant differences in beta activity in fronto-temporal and occipito-temporo-parietal areas in BP-ED individuals compared to controls, revealing a dysfunctional brain network. However, the small number of studies, the heterogeneity of samples, study paradigms, stimulus types, and the lack of an adequate assessment of neuropsychological parameters are some limitations of the current literature. Although some EEG data are promising and consistent with neuroimaging and neuropsychological findings in individuals with BP-ED, future studies need to overcome current methodological shortcomings. (shrink)

This article identifies the moral premises of contemporary business ethics. After analyzing thirty business ethics texts, the article shows that many business ethicists hold the conventional view that being moral is altruistic. This altruistic perspective logically implies a negative evaluation of self-interest and the profit motive, and business. As a result, the prevailing attitude in mainstream business ethics is that without altruistic restraints businesspeople are inclined to lie, steal, and cheat, not create and earn wealth through honest production and voluntary (...) trade. Therefore, the central concern in current business ethics is to curb businesspeople morally, not to empower them in their self-interested desire to make money. In the final analysis, the article shows how the anti-egoist assumptions manifest themselves in a moral prejudice against business, leading to a biased, unfair, and misleading account of the business world. (shrink)

This book is a philosophical commentary on Schopenhauer's "Fourfold Root of the Principle of Sufficient Reason," dealing with each of Schopenhauer's principal ...

F. C. Copleston; XIV*—The Logical Empiricism of Nicholas of Autrecourt, Proceedings of the Aristotelian Society, Volume 74, Issue 1, 1 June 1974, Pages 249–262.